1041. Selected reprints in software
پدیدآورنده : / edited by Marvin V. Zelkowitz
کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع : Computer software,Programming languages (Electronic computers)
رده :
QA
76
.
759
.
S45
1987
1042. Semantics and algebraic specificatio
پدیدآورنده : / Jens Palsberg (ed.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
7
,.
S435
,
2009
1043. Semantics and algebraic specification
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
1044. Semantics-directed compiler generation : proceedings of a Workshop, Aarhus, Denmark, January 1980
پدیدآورنده : edited by Neil D. Jones
کتابخانه: (طهران)
موضوع : Congresses ، Compilers )Computer programs(,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
94
1045. Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January, 1980
پدیدآورنده : edited by Neil D. Jones
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Compilers )Computer programs(,، Programming languages )Electronic computers( - Semantics
رده :
QA
1
.
L4
v
.
94
1046. Semantics for concurrency : proceedings of the International BCS-FACS Workshop
پدیدآورنده : sponsored by Logic for IT )S.E.R.C.(, 23-25 July 1990, University of Leicester, UK ; )editors( M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Parallel programming )Computer science( - Congresses,Programming languages )Electronic computers( - Semantics - Congresses
رده :
QA
.
I56
76
.
642
1990
1047. Semantics of type theory : correctness, Completeness and independence results
پدیدآورنده : Streicher, Thomas, 8591-
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
رده :
QA
76
.
7
.
S85
1048. Semantics of type theory : correctness, completeness, and independence results
پدیدآورنده : Thomas Streicher,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Programming languages )Electronic computers( - Semantics,Functional programming )Computer science(,Type theory
رده :
QA
.
S82
76
.
7
1991
1049. Silicon literacies: communication, innovation and education in the electronic age
پدیدآورنده : edited by ilana snyder
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer graphics -- computer programs,، Programming )Electronic computers(
رده :
T
385
.
S57
1050. Simplified Ansi FORTRAN Iv programming
پدیدآورنده : / Gerald A. Cilver, Joan B. Silver
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : FORTRAN (Computer program language),Electronic digital computers - Programming
رده :
001
.
6424F
S587s
1976
1051. Simplified FORTRAN IV programming
پدیدآورنده : Silver, Gerald A.
کتابخانه: (طهران)
موضوع : FORTRAN IV )Computer program language( , Electronic digital computers - Programming
رده :
QA
76
.
5
.
S552
1971
1052. Simplified FORTRAN IV programming
پدیدآورنده : Silver, Gerald A.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، FORTRAN IV )Computer program language(,، Electronic digital computers-- Programming
رده :
QA
76
.
5
.
S552
1053. Software Engineering Environments
پدیدآورنده : Editor Pearl Brereton
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Electronic digital computers- Programming,Computer engineering
رده :
QA
،
76
.
6
،.
S6478
،
1988
1054. Software development for engineers: with C, Pascal, C++, Assembly language, Visual Basic, HTML, JavaScript and Java
پدیدآورنده : Buchanan, William J.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computer software-- Development,، Electronic digital computers-- Programming
رده :
QA
76
.
76
.
D47
.
B82
1997
1055. Software engineerin
پدیدآورنده : Pratap K. J. Mohapatra
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Computer programming,Programming languages (Electronic computers),Electronic books., lcsh
رده :
QA
،
76
.
6
،.
M64
,
2010eb
1056. Software engineering
پدیدآورنده : Pratap K. J. Mohapatra.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
.
M64
2010eb
1057. Software engineering
پدیدآورنده : Pratap K. J. Mohapatra.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
.
M64
2010eb
1058. Software engineering : a programming approach
پدیدآورنده : / Doug Bell, Ian Morrey, John Pugh
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Computer software - Development,Electronic digital computers - Programming
رده :
QA76
.
76
.
D47B45
1987
1059. Software engineering concepts
پدیدآورنده : FAIRLEY,RICHARD E
کتابخانه: (طهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , COMPUTER PROGRAMS
رده :
QA
76
.
6
.
F35
